Modular implicits
نویسندگان
چکیده
We present modular implicits, an extension to the OCaml language for ad-hoc polymorphism inspired by Scala implicits and modular type classes. Modular implicits are based on type-directed implicit module parameters, and elaborate straightforwardly into OCaml’s first-class functors. Basing the design on OCaml’s modules leads to a system that naturally supports many features from other languages with systematic ad-hoc overloading, including inheritance, instance constraints, constructor classes and associated types.
منابع مشابه
Hermite Radial Basis Functions Implicits
The Hermite Radial Basis Functions (HRBF) Implicits reconstruct an implicit function which interpolates or approximates scattered multivariate Hermite data (i.e., unstructured points and their corresponding normals). Experiments suggest that HRBF Implicits allow the reconstruction of surfaces rich in details and behave better than previous related methods under coarse and/or nonuniform sampling...
متن کاملSketching Variational Hermite-RBF Implicits
We present techniques for modeling Variational Hermite Radial Basis Function (VHRBF) Implicits using a set of sketch-based interface and modeling (SBIM) operators. VHRBF Implicits is a simple and compact representation well suited for SBIM. It provides quality reconstructions, preserving the intended shape from a coarse and nonuniform number of point-normal samples extracted directly from the i...
متن کاملThe “exaptation” of linguistic implicit strategies
Implicit strategies are known to increase persuasion performances. Implicits of content (vagueness, implicatures) and implicits of responsibility (presuppositions, topics) will be compared semiotically to non-linguistic implicits such as images and sounds. The results of psycholinguistic and neurolinguistic experiments will be used to propose that presuppositions and topics arose in language as...
متن کاملExtended Report: The Implicit Calculus
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combine two features: 1) a special type of interfaces; and 2) implicit instantiation of implementations of those interfaces. Scala implicits are a GP language mechanism, inspired by type classes, that break with the traditi...
متن کاملVisualisierung von Gefäßsystemen mit MPU Implicits
Zusammenfassung. Wir präsentieren eine Methode zur Visualisierung von Gefäßstrukturen basierend auf dem Segmentierungsergebnis aus kontrastmittelverstärkten Bilddaten. Im Gegensatz zu modellbasierten Verfahren wird die Morphologie der darzustellenden Gefäße exakt wiedergegeben. Dies ermöglicht neben einer Anwendung in der Therapieplanung und der medizinischen Ausbildung auch einen Einsatz in de...
متن کامل